State transition system - PDFSEARCH.IO - Document Search Engine

State transition system
Results: 141

#	Item
11	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
12	BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:52:23 Markov processes Mathematical sciences Markov models Probabilistic bisimulation Bisimulation Stochastic processes Markov chain Probability theory State transition system Statistics Theoretical computer science Applied mathematics
13	RESEARCH & TRAINING CENTER FOR PATHWAYS TO POSITIVE FUTURES Assessing communityand state-level policy support for a transition service system Janet Walker, Ph.D. Nancy Koroloff, Ph.D. Add to Reading List Source URL: www.pathwaysrtc.pdx.edu Language: English - Date: 2012-06-26 18:16:23 Stakeholder Social philosophy Business AccountAbility Transparency Wraparound
14	Information for Families As many Floridians are aware, our state has been in a period of transition as we have made important decisions to improve our education system and raise the bar for our schools, educators and stu Add to Reading List Source URL: columbia.k12.fl.us Language: English - Date: 2014-09-08 11:26:22 Education reform Standards-based education Sports science Test National Assessment of Educational Progress PARCC Education Standardized tests Educational psychology
15	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
16	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
17	A Beginner’s Introduction to Heuristic Search Planning 2. Planning Formalisms (and Heuristic Search) Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-02-06 11:43:49 Models of computation Legal formalism State transition system Transition Automated planning and scheduling Planning Domain Definition Language Artificial intelligence
18	Experiments Towards Model-Based Testing Using Plan 9: Labelled Transition File Systems, Stacking File Systems, On-the-fly Coverage Measuring (work in progress) Axel Belinfante Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 11:33:12 Inferno Inter-process communication File system State transition system Construction and Analysis of Distributed Processes Computing Network file systems 9P
19	An algorithm for computing bisimulations in planning Bachelor Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Computer science Bisimulation Logic in computer science Models of computation Algorithm A* search algorithm State transition system Search algorithm Theoretical computer science Applied mathematics Mathematics
20	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science

UPDATE